closure conversion

The transformation of {continuation passing style} code so

that the only {free variables} of functions are names of other

functions.

See also Lambda lifting.

(1994-12-16)